Isometries of generalized MV-algebras
نویسندگان
چکیده
منابع مشابه
Generalized MV-algebras
We generalize the notion of an MV-algebra in the context of residuated lattices to include noncommutative and unbounded structures. We investigate a number of their properties and prove that they can be obtained from lattice-ordered groups via a truncation construction that generalizes the Chang–Mundici Γ functor. This correspondence extends to a categorical equivalence that generalizes the one...
متن کاملGeneralized homogeneous, prelattice and MV-effect algebras
We study unbounded versions of effect algebras. We show a necessary and sufficient condition, when lattice operations of a such generalized effect algebra P are inherited under its embeding as a proper ideal with a special property and closed under the effect sum into an effect algebra. Further we introduce conditions for a generalized homogeneous, prelattice or MV-effect effect algebras. We pr...
متن کاملMV* - Algebras
In this paper we make an algebraic study of the variety of M V * –algebras introduced by C. C.Chang as an algebraic counterpart for a logic with positive and negative truth values. We build the algebraic theory of M V * –algebras within its own limits using a concept of ideal and of prime ideal that are very naturally related to the corresponding concepts in –groups. The main results are a subd...
متن کاملDerivations of MV-Algebras
In his classical paper 1 , Chang invented the notion of MV-algebra in order to provide an algebraic proof of the completeness theorem of infinite valued Lukasiewicz propositional calculus. Recently, the algebraic theory of MV-algebras is intensively studied, see 2–5 . The notion of derivation, introduced from the analytic theory, is helpful to the research of structure and property in algebraic...
متن کاملIsometries Between Matrix Algebras
As an attempt to understand linear isometries between C∗-algebras without the surjectivity assumption, we study linear isometries between matrix algebras. Denote by Mm the algebra of m×m complex matrices. If k ≥ n and φ : Mn → Mk has the form X 7→ U [X ⊕ f(X)]V or X 7→ U [X t ⊕ f(X)]V for some unitary U, V ∈ Mk and contractive linear map f : Mn → Mk, then ‖φ(X)‖ = ‖X‖ for all X ∈ Mn. We prove t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 2007
ISSN: 0011-4642,1572-9141
DOI: 10.1007/s10587-007-0052-x